141. Introduction to the theory of computation
Author: Engeler, Erwin.
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Sequential machine theory,، Recursive functions,، Formal languages
Classification :
QA
267
.
5
.
S4
.
E53
1973
142. Knowledge and computing :
Author: Tibor Vámos.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer science.,Expert systems (Computer science),Artificial intelligence.,Computer science.,COMPUTERS-- Enterprise Applications-- Business Intelligence Tools.,COMPUTERS-- Intelligence (AI) & Semantics.,Expert systems (Computer science),PHILOSOPHY-- Epistemology.
Classification :
QA76
.
V326
2010eb
143. Language and automata theory and applications :
Author: edited by Shmuel Tomi Klein, Carlos Martín-Vide, Dana Shapira.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Formal languages, Congresses.,Machine theory, Congresses.,Mathematical linguistics, Congresses.,Algorithms & data structures.,Artificial intelligence.,Computer programming-- software development.,Computers-- Intelligence (AI) & Semantics.,Computers-- Mathematical & Statistical Software.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Formal languages.,Machine theory.,Mathematical linguistics.,Mathematical theory of computation.,Mathematics-- Logic.,Maths for computer scientists.
Classification :
QA267
.
L38
2018
144. Lie group machine learning /
Author: Li Fanzhang, Zhang Li, Zhang Zhao.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Lie groups.,Machine learning.,COMPUTERS-- General.,Lie groups.,Machine learning.
Classification :
Q325
.
5
.
L52
2018e
145. Linear algebra and probability for computer science applications /
Author: Ernest Davis
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Algebras, Linear,Computer science-- Mathematics,Probabilities
Classification :
QA76
.
9
.
M35
D38
2012
146. Logic and automata
Author: / edited by Jeorg Flum, Erich Greadel, Thomas Wilke
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Machine theory.,Logic, Symbolic and mathematical.,Computer science--Mathematics,Computational complexity.
Classification :
QA
,
267
,.
L624
,
2008
147. Logic and automata
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Machine theory. ; Logic, Symbolic and mathematical. ; Computer science ; Mathematics. ; Computational complexity. ;
148. Machine learning for computer and cyber security :
Author: editors, Brij B. Gupta, Michael Sheng.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer networks-- Security measures-- Data processing.,Computer security-- Data processing.,Machine learning.,Artificial intelligence.,COMPUTERS-- Database Management-- Data Mining.,COMPUTERS-- General.,COMPUTERS-- Machine Theory.,Machine learning.,MATHEMATICS-- Arithmetic.
Classification :
TK5105
.
59
149. Machine scheduling to minimize weighted completion times :
Author: Nicoló Gusmeroli.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Algorithms.,Computer science-- Mathematics.,Engineering mathematics.,Management science.,Mathematical optimization.,Operations research.,Polytopes.,Scheduling.,Algorithms.,Applied mathematics.,BUSINESS & ECONOMICS-- Industrial Management.,BUSINESS & ECONOMICS-- Management Science.,BUSINESS & ECONOMICS-- Management.,BUSINESS & ECONOMICS-- Organizational Behavior.,Computer science-- Mathematics.,Discrete mathematics.,Engineering mathematics.,Geometry.,Management science.,Mathematical optimization.,Numerical analysis.,Operational research.,Operations research.,Optimization.,Polytopes.,Scheduling.
Classification :
T57
.
6
.
G87
2018
150. Make a shield from wisdom :
Author: 20090507 0
Library: Library of Islamic Parliament (Tehran)
Subject:
151. Mathematical Programming The State of the Art
Author: edited by Achim Bachem, Bernhard Korte, Martin Grötschel.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Combinatorics.,Computer science.,Discrete groups.,Economics.,Information theory.,Mathematical optimization.,Mathematics.
152. Mathematical aspects of computer science
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Machine theory-- Addresses, essays, lectures,، Electronic data processing-- Mathematics-- Addresses, essays, lectures
Classification :
QA
76
.
S895
1966
153. Mathematical aspects of computer science
Author: J. T. Schwartz editor
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Addresses, essays, lectures ، Machine theory,Addresses, essays, lectures ، Computer science -- Mathematics
Classification :
QA
1
.
P69
Vol
.
19
154. Mathematical foundations of computer science 2008
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Algorithms ; Congresses. ; Computer programming ; Congresses. ; Computer science ; Mathematics ; Congresses. ; Machine theory ; Congresses. ;
155. Mathematical foundations of computer science 200
Author: / Edward Ochmaanski, Jerzy Tyszkiewicz (eds.)
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Computer science--Mathematics--Congresses,Computer programming--Congresses,Algorithms--Congresses,Computable functions--Congresses,Machine theory--Congresses
156. Mathematical foundations of computer science 1989 : Porabka-Kozubnik, Poland, August 28 - September 1, 1989 : Proceedings
Author: A. Kreczmar, G. Mirkowska )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Machine theory,Congresses ، Computer science -- Mathematics
Classification :
QA
76
.
L28
Vol
.
379
157. Mathematical foundations of computer science 1988 : Proceedings of the 13th Symposium, Carlsbad, Czchoslovakia, August 29-September 2, 1988
Author: M.P. Chytil, L. Janiga, V. Koubek )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Machine theory,Congresses ، Computer science -- Mathematics
Classification :
QA
76
.
L28
Vol
.
324
158. Mathematical methods in interdisciplinary sciences
Author: edited by Snehashish Chakraverty
Library: Library of College of Science University of Tehran (Tehran)
Subject: Science,Mathematical analysis, -- Mathematics,a03,a04
Classification :
Q175
.
32
.
M38
2020
159. Mathematical morphology and its applications to signal and image processing :
Author: Bernhard Burgeth, Andreas Kleefeld, Benoît Naegel, Nicolas Passat, Benjamin Perret (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Image processing-- Mathematics, Congresses.,Signal processing-- Mathematics, Congresses.,Image processing-- Mathematics.,Signal processing-- Mathematics.
Classification :
TA1637
.
I58
2019eb
160. Mathematical principles of the Internet.
Author: Nirdosh Bhatnagar.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science-- Mathematics.,Internet-- Mathematical models.,Internetworking (Telecommunication)-- Mathematics.,Computer science-- Mathematics.,COMPUTERS / Computer Literacy.,COMPUTERS / Computer Science.,COMPUTERS / Data Processing.,COMPUTERS / Hardware / General.,COMPUTERS / Information Technology.,COMPUTERS / Information Theory,COMPUTERS / Machine Theory.,COMPUTERS / Reference.,Internet-- Mathematical models.,MATHEMATICS / General,MATHEMATICS / Number Systems
Classification :
TK5102
.
83
